A Closeness- and Priority-Based Logical Study of Social Network Creation

This paper is part of an on-going programme on the study of the logical aspects of social network formation. It recalls the so-called social network model, discussing the properties of a notion of closeness between agents (in terms of the number of traits they have in common); then introduces an extended social network model in which different agents might assign different values to different traits, discussing the properties of the notion of weighted closeness that arises. These notions are used to define social network creation operations by means of a threshold strategy. The paper studies the properties of the social networks the updates create, providing sound and complete axiom systems for formal languages describing these updates’ effects.publishedVersio

A formal model for Explicit Knowledge as Awareness-of plus Awareness-that

In the context of the problem of logical omniscience, several frameworks have been proposed to model the knowledge of 'real' agents with limited reasoning abilities. One of the most important, awareness logic, relies on the concept of awareness for distinguishing what the agent 'truly' knows from what she could get if she were aware of all formulas. Still, the notion of awareness can be interpreted in different ways: it can be understood as what the agent simply entertains, without having any attitude in favour or against (awareness of ), but also as what she has consciously recognised as true (awareness that). This paper proposes a formal framework that captures these two interpretations of the notion of awareness, discussing the further epistemic notions that arise from their combination (e.g., implicit knowledge and explicit knowledge) while also studying their properties and the way they interact with one another